منابع مشابه
Constraint Based Description of Polish Multiword Expressions
We present an approach to the description of Polish Multi-word Expressions (MWEs) which is based on expressions in the WCCL language of morpho-syntactic constraints instead of grammar rules or transducers. For each MWE its basic morphological form and the base forms of its constituents are specified but also each MWE is assigned to a class on the basis of its syntactic structure. For each class...
متن کاملOptimising Quantified Expressions in Constraint Models
One of the key difficulties in Constraint Modeling lies in formulating an effective constraint model of an input problem for input to a constraint solver: many different models exist for a given problem and it is often difficult even for experts to determine the model which is solved most effectively by a constraint solver. In recent years, solver-independent modelling languages (MLs) have beco...
متن کاملSynthesizing Visual and Action Routines Using Constraint Programming
A diagrammatic problem-solver requires a library of visual routines (VRs) and action routines (ARs) the VRs are used to obtain information of specified types from the diagram and ARs to modify the diagram in specified ways. The VRs/ARs required are unbounded a new domain may call for new perceptions and actions. We report on progress on our research in building an automated VR/AR synthesis syst...
متن کاملHeuristics for Synthesizing Robust Networks with a Diameter Constraint
Robustness of a network in the presence of node or link failures plays an important role in the design of the network. A key factor that quantifies this robustness is the algebraic connectivity of the network. In this paper, the authors address the problem of finding a network that maximizes the algebraic connectivity of the network while ensuring that the length of the shortest path joining an...
متن کاملSemantics of State-Oriented Expressions in the Object Constraint Language
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). It is primarily used to formulate restrictions for UML class diagrams. Additionally, it is possible to refer to UML Statechart states in OCL expressions to reason about currently activated states. However, neither the current OCL standard nor the proposal for the new OCL 2.0 version integrat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications of the ACM
سال: 1978
ISSN: 0001-0782,1557-7317
DOI: 10.1145/359642.359654